退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Web服务的自动运行时验证
Cao, Tien-Dung; Phan-Quang, Trung-Tien; Félix, Patrick; Castanet, Richard;
机译:定时系统的自动运行时验证的一种方法:Web服务的应用程序
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:Web服务自动运行时验证
机译:复合Web服务的运行时验证
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:用于提供可分发运行时的系统和方法,该可运行时从工作流,企业和启用邮件的Web应用程序服务器和平台部署Web应用程序和服务
机译:互联网(万维网,“ www”)基于客户/实体定义的标准,零售或以其他方式按规则的时间增量(带有推送通知)定制时间刮取/采购服务。适用于www上任何有形或无形的可购买或免费项目。包括对付费用户(即企业)的输出/市场需求数据和//报告。后端代码,网站功能,相同功能的应用程序(iOS,Android)以及相关浏览器附加服务的自动自定义标准网络抓取方法的方法的专利。
机译:在Web运行时环境中处理服务请求以访问服务的方法,设备和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。